1852'də Augustus De Morgan'ın tələbəsi olan Francis Guthrie tərəfindən irəli sürülən teorem.
bu teorem birbaşa olaraq xəritə çəkmə işində istifadə olunur. teoremə əsasən sonlu sayda bölgədən ibarət xəritədə bir-birinə sonsuz sayda nöqtədə qonşu olan iki bölgənin rəngləri birbirindən fərqli olmaq şərti ilə boyanacaqsa bu boyama üçün 4 rəng kifayətdir.
bu teorem dünya xəritəsi üçün yox bir neçə bölgədən ibarət ölkələr üçün nəzərdə tutulub. məs: azərbaycan, abş və s.
daha yaxşı izah eləmək üçün misal verərək desək deməli götürək azərbaycanı. türkiyəni qırmızıya, iranla ermənistanı göy rəngə, gürcüstanı sarıya rusiyanı da yaşıla boyaraq bir birindən fərqli rəngdə qonşu ölkələri göstərə bilərik.
nümunə: link
